(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 12.1' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     90077,       2387]
NotebookOptionsPosition[     79306,       2189]
NotebookOutlinePosition[     79749,       2206]
CellTagsIndexPosition[     79706,       2203]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["Cost configurations", "Title",
 CellChangeTimes->{{3.811949742191621*^9, 3.8119497473428383`*^9}, 
   3.91560579223769*^9},ExpressionUUID->"a720daca-b9a7-4bea-a4e7-\
702d9d7edfa9"],

Cell[TextData[{
 "Backup for Mulligan \[OpenCurlyDoubleQuote]Prices and Policies in Opioid \
Markets\[CloseCurlyDoubleQuote] ",
 StyleBox["JPE",
  FontSlant->"Italic"],
 " Appendix"
}], "Subtitle",
 CellChangeTimes->{{3.811949750592827*^9, 3.811949751510894*^9}, {
  3.915605767406231*^9, 3.915605779172317*^9}, {3.916229594383004*^9, 
  3.91622960513911*^9}},ExpressionUUID->"71adace6-191d-4457-b68c-\
9656dee6e5bb"],

Cell[TextData[{
 StyleBox["Methods note",
  FontVariations->{"Underline"->True}],
 " to readers and users: ",
 StyleBox["TheoryGuru",
  FontWeight->"Bold"],
 ", ",
 StyleBox["TheoryOverlap",
  FontWeight->"Bold"],
 ", ",
 StyleBox["Resolve",
  FontWeight->"Bold"],
 ", and ",
 StyleBox["Simplify",
  FontWeight->"Bold"],
 " are not \[OpenCurlyDoubleQuote]trained\[CloseCurlyDoubleQuote] and do not \
have \[OpenCurlyDoubleQuote]memory.\[CloseCurlyDoubleQuote]  Every time they \
are evaluated, they solve each problem from the beginning and without \
approximation, using the principles of \[OpenCurlyDoubleQuote]elementary \
algebra and geometry\[CloseCurlyDoubleQuote] (in the Alfred Tarski sense of \
this phrase).  The TheoryGuru algorithm is explained by ",
 ButtonBox["Mulligan, Davenport, and England",
  BaseStyle->"Hyperlink",
  ButtonData->{
    URL["https://link.springer.com/chapter/10.1007/978-3-319-96418-8_44"], 
    None},
  ButtonNote->
   "https://link.springer.com/chapter/10.1007/978-3-319-96418-8_44"],
 ".\n\nOutput of ",
 StyleBox["True",
  FontWeight->"Bold"],
 " means that the assumptions are (i) together sufficient for the hypothesis \
and (ii) mutually compatible.  ",
 StyleBox["TheoryOverlap",
  FontWeight->"Bold"],
 " output of \[OpenCurlyDoubleQuote]equivalent\[CloseCurlyDoubleQuote] means \
that, conditional on the assumptions, each of the two hypotheses is necessary \
and sufficient for the other."
}], "Text",
 CellChangeTimes->{{3.915700017161723*^9, 3.915700094371666*^9}, {
  3.915700187491846*^9, 3.915700294267357*^9}, {3.915700324571705*^9, 
  3.915700338194887*^9}, {3.915700440972517*^9, 3.915700518759246*^9}, {
  3.915700552388886*^9, 3.915700568975889*^9}, {3.915700977041543*^9, 
  3.915700995088602*^9}},
 Background->RGBColor[
  0.87, 0.94, 1],ExpressionUUID->"6d3085b6-d288-4c85-b9a3-85b7075e5138"],

Cell[TextData[{
 StyleBox["Grey cells",
  FontWeight->"Bold",
  FontColor->GrayLevel[0.5]],
 " in this notebook contain definitions.  As notebook initialization cells, \
they will (with user permission) be automatically evaluated before the user \
evaluates any other cell in this notebook.\n\n",
 StyleBox["Brown cells",
  FontWeight->"Bold",
  FontColor->RGBColor[0.6, 0.4, 0.2]],
 " are quotes from Mulligan \[OpenCurlyDoubleQuote]Prices and Policies in \
Opioid Markets\[CloseCurlyDoubleQuote] ",
 StyleBox["JPE",
  FontSlant->"Italic"],
 ".\n\nWhite cells can be evaluated or edited as the user wishes.  The \
evaluation results are already shown."
}], "Text",
 CellChangeTimes->{{3.915700628151927*^9, 3.9157006365676813`*^9}, {
  3.915700684530025*^9, 3.9157008997826014`*^9}, {3.915701008297584*^9, 
  3.91570103204879*^9}, {3.916229628562648*^9, 3.916229640650235*^9}},
 Background->RGBColor[
  0.87, 0.94, 1],ExpressionUUID->"6d606b91-89f4-42ec-aeef-ed10f7d97f18"],

Cell[CellGroupData[{

Cell["Setup", "Section",
 CellChangeTimes->{{3.855693488412609*^9, 
  3.8556934891713257`*^9}},ExpressionUUID->"7a296f90-e9cd-4be1-a623-\
893c2e63a089"],

Cell[CellGroupData[{

Cell["\<\
Load Economicreasoning package only if it is not already loaded\
\>", "Subsubsection",
 CellChangeTimes->{{3.915604780492229*^9, 
  3.915604783220725*^9}},ExpressionUUID->"062c5bd8-cbeb-4c99-9a0f-\
87434ef7ded0"],

Cell[BoxData[
 RowBox[{"If", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"Length", "@", 
     RowBox[{"Names", "[", "\"\<PLTools`*\>\"", "]"}]}], "<", "10"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{"Get", "[", "\"\<http://economicreasoning.com\>\"", "]"}]}], 
  "]"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915060539663185*^9, 3.915060549628346*^9}, {
  3.915565677255982*^9, 3.915565719538567*^9}, {3.915604774401967*^9, 
  3.915604775285984*^9}, {3.915606284688498*^9, 3.915606287504895*^9}, {
  3.915606572426279*^9, 3.915606575145712*^9}},
 CellLabel->"In[2]:=",ExpressionUUID->"e0d8e979-bb9c-4e77-94bd-d3ca4794b675"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"Remove", "@", "QEengine"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"QEengine", "[", "expr_", "]"}], ":=", 
  RowBox[{
   RowBox[{
    RowBox[{"Resolve", "[", 
     RowBox[{
      RowBox[{"expr", "/.", 
       RowBox[{
        RowBox[{"C", "[", 
         RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "->",
         "tmpvar"}]}], ",", "Reals"}], "]"}], "/.", 
    RowBox[{"tmpvar", "->", 
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], "//",
    "Simplify"}]}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915606605614271*^9, 3.9156066574231453`*^9}, {
  3.915606696405273*^9, 3.915606740534787*^9}, {3.915782034991755*^9, 
  3.915782038668209*^9}},ExpressionUUID->"877f13c6-fe01-4a2e-b374-\
da6457265819"]
}, Open  ]],

Cell[CellGroupData[{

Cell["\<\
{Q,z} allocations that are outside the various single-price budget sets\
\>", "Subsubsection",
 CellChangeTimes->{{3.915604800542067*^9, 
  3.91560482563027*^9}},ExpressionUUID->"4ef26b2c-be0c-4bed-b9c6-\
122226c3f41e"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"outside", "[", "Rx", "]"}], "=", 
   RowBox[{"y", "<", 
    RowBox[{"z", "+", "fR", "+", 
     RowBox[{"Q", " ", "pR"}]}]}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"outside", "[", "im", "]"}], "=", 
    RowBox[{"y", "<", 
     RowBox[{"z", "+", "fI", "+", 
      RowBox[{"Q", " ", "pI"}]}]}]}], ";"}], 
  RowBox[{"(*", " ", 
   RowBox[{
   "Im", " ", "is", " ", "reserved", " ", "by", " ", "the", " ", "Wolram", 
    " ", "Language"}], " ", "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"outside", "[", "mixed", "]"}], "=", 
   RowBox[{"y", "<", 
    RowBox[{"z", "+", "fI", "+", "fR", "+", 
     RowBox[{"Q", " ", 
      RowBox[{"C", "[", 
       RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}]}]}],
   ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.855678442168128*^9, 3.8556785624860992`*^9}, {
   3.915604963402239*^9, 3.915604972618724*^9}, {3.915605274283867*^9, 
   3.915605285266173*^9}, 3.915605391644589*^9, {3.915606084062997*^9, 
   3.9156061018379307`*^9}},
 CellLabel->"In[4]:=",ExpressionUUID->"d08529cd-1051-4eb1-ac61-29b11d63ca6d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"SignConditions", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"pR", ">", "0"}], ",", 
     RowBox[{"pI", ">", "0"}], ",", 
     RowBox[{
      RowBox[{"C", "[", 
       RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], ">", 
      "0"}], ",", 
     RowBox[{"fI", ">", "fR", ">=", "0"}], ",", 
     RowBox[{"y", ">", "0"}], ",", 
     RowBox[{"0", "<", "Q10", "<", "1", "<", "Q01"}], ",", 
     RowBox[{"y", ">", "fR"}]}], "}"}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915563417293882*^9, 3.915563423301605*^9}, 
   3.915605302318513*^9, 3.9156087503959846`*^9},
 CellLabel->"In[7]:=",ExpressionUUID->"811a05fd-5088-4c42-a5d3-d1cc89284a15"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Parameters for which Rx-only is part of the upper envelope", \
"Subsubsection",
 CellChangeTimes->{{3.915605194053678*^9, 
  3.915605249748502*^9}},ExpressionUUID->"a1ea1eff-e93b-450d-8e2e-\
73c6052f616f"],

Cell["\<\
The parameters are y, fR, fI, pR, pI, C[1,pR,pI,0,0].  What follows are \
necessary and sufficient conditions.\
\>", "Text",
 CellChangeTimes->{{3.915605371992028*^9, 3.915605395247075*^9}, {
  3.915607273792153*^9, 
  3.9156072900065603`*^9}},ExpressionUUID->"0f03fe65-740d-4a4e-ae11-\
cfd3fe5edba8"],

Cell[BoxData[
 RowBox[{
  RowBox[{"dominated", "[", "segment_", "]"}], ":=", 
  RowBox[{"Not", "[", 
   RowBox[{"notdominated", "@", "segment"}], "]"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915624339956812*^9, 3.915624358064871*^9}},
 CellLabel->"In[8]:=",ExpressionUUID->"bebdfae1-573d-4967-a395-5b22693a1319"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"notdominated", "[", "Rx", "]"}], "=", 
   RowBox[{"QEengine", "@", 
    RowBox[{"Exists", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"z", ",", "Q"}], "}"}], ",", 
      RowBox[{
       RowBox[{"z", ">=", "0"}], "\[And]", 
       RowBox[{"Q", ">=", "0"}]}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Not", "@", 
        RowBox[{"outside", "@", "Rx"}]}], "\[And]", "\[IndentingNewLine]", 
       RowBox[{"outside", "@", "im"}], "\[And]", 
       RowBox[{"outside", "@", "mixed"}]}]}], "]"}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915606009010771*^9, 3.915606011702922*^9}, {
  3.915606229185657*^9, 3.9156062301306753`*^9}, {3.915606769742435*^9, 
  3.915606777412642*^9}, {3.915662633767551*^9, 3.915662670966964*^9}, {
  3.915662729913913*^9, 3.915662739590775*^9}, {3.915662819441739*^9, 
  3.915662821767737*^9}},
 CellLabel->"In[9]:=",ExpressionUUID->"4e6291a3-f627-40e9-9372-cefd5b5945e8"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"notdominated", "[", "Rx", "]"}], "=", 
  RowBox[{"FullSimplify", "[", 
   RowBox[{
    RowBox[{"notdominated", "[", "Rx", "]"}], ",", 
    RowBox[{"And", "@@", 
     RowBox[{"Most", "@", "SignConditions"}]}]}], "]"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9156054858887587`*^9, 3.915605492430072*^9}, 
   3.9156059900823927`*^9, {3.9156062375785303`*^9, 3.915606249649988*^9}},
 CellLabel->"In[10]:=",ExpressionUUID->"579ae3a2-920a-434f-aebf-956f8cd1da02"],

Cell[BoxData[
 RowBox[{
  RowBox[{"fR", "\[LessEqual]", "y"}], "||", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "<", 
     "pR"}], "&&", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"pI", "<", "pR"}], "&&", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{
             RowBox[{
              RowBox[{"fI", " ", "pI"}], "+", 
              RowBox[{
               RowBox[{"(", 
                RowBox[{
                 RowBox[{"-", "fI"}], "+", "fR"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}]}], "\[LessEqual]", 
             RowBox[{"fR", " ", "pR"}]}], "&&", 
            RowBox[{
             RowBox[{
              RowBox[{"fI", " ", "pR"}], "+", 
              RowBox[{"pI", " ", "y"}]}], "\[LessEqual]", 
             RowBox[{
              RowBox[{"fR", " ", "pI"}], "+", 
              RowBox[{"pR", " ", "y"}]}]}]}], ")"}], "||", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{
             RowBox[{
              RowBox[{"fR", " ", "pR"}], "+", 
              RowBox[{
               RowBox[{"(", 
                RowBox[{"fI", "-", "fR"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}]}], "\[LessEqual]", 
             RowBox[{"fI", " ", "pI"}]}], "&&", 
            RowBox[{
             RowBox[{
              RowBox[{"pR", " ", 
               RowBox[{"(", 
                RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}], "+", 
              RowBox[{
               RowBox[{"(", 
                RowBox[{
                 RowBox[{"-", "fR"}], "+", "y"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}]}], "\[LessEqual]", "0"}]}], ")"}]}], ")"}]}], ")"}], "||", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         RowBox[{
          RowBox[{"fR", " ", "pR"}], "+", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"fI", "-", "fR"}], ")"}], " ", 
           RowBox[{"C", "[", 
            RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
            "]"}]}]}], "<", 
         RowBox[{"fI", " ", "pI"}]}], "&&", 
        RowBox[{"pR", "\[LessEqual]", "pI"}], "&&", 
        RowBox[{
         RowBox[{
          RowBox[{"pR", " ", 
           RowBox[{"(", 
            RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}], "+", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{
             RowBox[{"-", "fR"}], "+", "y"}], ")"}], " ", 
           RowBox[{"C", "[", 
            RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
            "]"}]}]}], "\[LessEqual]", "0"}]}], ")"}]}], ")"}]}], ")"}], "||", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"pI", "<", "pR"}], "&&", 
    RowBox[{
     RowBox[{
      RowBox[{"fI", " ", "pI"}], "+", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", "fI"}], "+", "fR"}], ")"}], " ", 
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
     "<", 
     RowBox[{"fR", " ", "pR"}]}], "&&", 
    RowBox[{"pR", "\[LessEqual]", 
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}], "&&", 
    
    RowBox[{
     RowBox[{
      RowBox[{"fI", " ", "pR"}], "+", 
      RowBox[{"pI", " ", "y"}]}], "\[LessEqual]", 
     RowBox[{
      RowBox[{"fR", " ", "pI"}], "+", 
      RowBox[{"pR", " ", "y"}]}]}]}], ")"}]}]], "Output",
 CellChangeTimes->{3.915606270401795*^9, 3.915606815130412*^9, 
  3.915606990136571*^9, 3.915630667173469*^9, 3.915636975190277*^9, 
  3.9156506060431232`*^9, 3.915653085776638*^9, 3.915662824403246*^9, 
  3.915701139194059*^9, 3.915702285472291*^9, 3.9157047712569227`*^9},
 CellLabel->"Out[10]=",ExpressionUUID->"54a31b49-cd67-460a-a9a7-7e5f676c36fb"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Parameters for which Im-only is part of the upper envelope", \
"Subsubsection",
 CellChangeTimes->{{3.915605466880178*^9, 
  3.915605470375718*^9}},ExpressionUUID->"cfcd9777-6c57-441c-99cc-\
ce3376777412"],

Cell[BoxData[
 RowBox[{
  RowBox[{"MixedisIm", "=", 
   RowBox[{"fR", "==", "0", "==", 
    RowBox[{
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "-", 
     "pI"}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9156627417519073`*^9, 3.9156627706859503`*^9}},
 CellLabel->"In[11]:=",ExpressionUUID->"570fb07a-de81-44f3-b1f2-76741a5d988d"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"notdominated", "[", "im", "]"}], "=", 
   RowBox[{"QEengine", "@", 
    RowBox[{"Exists", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"z", ",", "Q"}], "}"}], ",", 
      RowBox[{
       RowBox[{"z", ">=", "0"}], "\[And]", 
       RowBox[{"Q", ">=", "0"}]}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Not", "@", 
        RowBox[{"outside", "@", "im"}]}], "\[And]", "\[IndentingNewLine]", 
       RowBox[{"outside", "@", "Rx"}], "\[And]", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"outside", "@", "mixed"}], "\[Or]", "MixedisIm"}], ")"}]}]}],
      "]"}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915606009010771*^9, 3.915606011702922*^9}, {
  3.915606229185657*^9, 3.9156062301306753`*^9}, {3.915606769742435*^9, 
  3.915606777412642*^9}, {3.915606872729991*^9, 3.915606880331869*^9}, {
  3.91566284027848*^9, 3.915662854514945*^9}, {3.915701237608055*^9, 
  3.915701238267274*^9}},
 CellLabel->"In[12]:=",ExpressionUUID->"9cf38e99-12d7-4bc7-a644-53668a4808c3"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"notdominated", "[", "im", "]"}], "=", 
  RowBox[{"FullSimplify", "[", 
   RowBox[{
    RowBox[{"notdominated", "[", "im", "]"}], ",", 
    RowBox[{"And", "@@", 
     RowBox[{"Most", "@", "SignConditions"}]}]}], "]"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9156054858887587`*^9, 3.915605492430072*^9}, 
   3.9156059900823927`*^9, {3.9156062375785303`*^9, 3.915606249649988*^9}, {
   3.9156068914327593`*^9, 3.915606901137076*^9}},
 CellLabel->"In[13]:=",ExpressionUUID->"48c0d675-c4c5-4295-be65-75c772cc00f2"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"fI", " ", "pR"}], "+", 
      RowBox[{"pI", " ", "y"}]}], "<", 
     RowBox[{
      RowBox[{"fR", " ", "pI"}], "+", 
      RowBox[{"pR", " ", "y"}]}]}], "&&", 
    RowBox[{"fI", "\[LessEqual]", "y"}], "&&", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"fR", "\[Equal]", "0"}], "&&", 
        RowBox[{"pI", "\[Equal]", 
         RowBox[{"C", "[", 
          RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
       ")"}], "||", 
      RowBox[{
       RowBox[{
        RowBox[{"pI", " ", 
         RowBox[{"(", 
          RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}], "+", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"-", "fI"}], "+", "y"}], ")"}], " ", 
         RowBox[{"C", "[", 
          RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
       ">", "0"}]}], ")"}]}], ")"}], "||", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       RowBox[{
        RowBox[{"fI", " ", "pI"}], "+", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"-", "fI"}], "+", "fR"}], ")"}], " ", 
         RowBox[{"C", "[", 
          RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
       "<", 
       RowBox[{"fR", " ", "pR"}]}], "||", 
      RowBox[{"pI", ">", "pR"}]}], ")"}], "&&", 
    RowBox[{"fR", ">", "0"}], "&&", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"pI", "\[LessEqual]", "pR"}], "||", 
      RowBox[{
       RowBox[{
        RowBox[{"fI", " ", "pI"}], "+", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"-", "fI"}], "+", "fR"}], ")"}], " ", 
         RowBox[{"C", "[", 
          RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
       "\[LessEqual]", 
       RowBox[{"fR", " ", "pR"}]}]}], ")"}], "&&", 
    RowBox[{"pI", ">", 
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}], "&&", 
    
    RowBox[{
     RowBox[{
      RowBox[{"pI", " ", 
       RowBox[{"(", 
        RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}], "+", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", "fI"}], "+", "y"}], ")"}], " ", 
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
     "\[LessEqual]", "0"}]}], ")"}]}]], "Output",
 CellChangeTimes->{3.9156069919697733`*^9, 3.915630668006596*^9, 
  3.9156369760220327`*^9, 3.915650607805382*^9, 3.915653087689846*^9, 
  3.915662862172577*^9, 3.915701139209676*^9, 3.91570228643827*^9, 
  3.915704773421348*^9},
 CellLabel->"Out[13]=",ExpressionUUID->"80b84787-2cff-48a5-aa53-4b851d9895a8"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Parameters for which mixed is part of the upper envelope", \
"Subsubsection",
 CellChangeTimes->{{3.915605473193223*^9, 
  3.9156054778380404`*^9}},ExpressionUUID->"166f82e1-1aa1-4896-baaa-\
0572f47f9bd1"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"notdominated", "[", "mixed", "]"}], "=", 
   RowBox[{"QEengine", "@", 
    RowBox[{"Exists", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"z", ",", "Q"}], "}"}], ",", 
      RowBox[{
       RowBox[{"z", ">=", "0"}], "\[And]", 
       RowBox[{"Q", ">=", "0"}]}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Not", "@", 
        RowBox[{"outside", "@", "mixed"}]}], "\[And]", "\[IndentingNewLine]", 
       
       RowBox[{"outside", "@", "im"}], "\[And]", 
       RowBox[{"outside", "@", "Rx"}]}]}], "]"}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915606009010771*^9, 3.915606011702922*^9}, {
  3.915606229185657*^9, 3.9156062301306753`*^9}, {3.915606769742435*^9, 
  3.915606777412642*^9}, {3.915606872729991*^9, 3.915606880331869*^9}, {
  3.9156069207920303`*^9, 3.915606926642488*^9}},
 CellLabel->"In[14]:=",ExpressionUUID->"5b8e73a5-b14a-4b18-ab72-30a99e59d290"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"notdominated", "[", "mixed", "]"}], "=", 
  RowBox[{"FullSimplify", "[", 
   RowBox[{
    RowBox[{"notdominated", "[", "mixed", "]"}], ",", 
    RowBox[{"And", "@@", 
     RowBox[{"Most", "@", "SignConditions"}]}]}], "]"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9156054858887587`*^9, 3.915605492430072*^9}, 
   3.9156059900823927`*^9, {3.9156062375785303`*^9, 3.915606249649988*^9}, {
   3.9156068914327593`*^9, 3.915606901137076*^9}, {3.915606949887815*^9, 
   3.915606957647251*^9}},
 CellLabel->"In[15]:=",ExpressionUUID->"ca3c2c3a-34e6-44d7-a474-09498210a0d4"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"fI", "+", "fR"}], "\[LessEqual]", "y"}], "&&", 
  RowBox[{
   RowBox[{
    RowBox[{"pI", " ", 
     RowBox[{"(", 
      RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}], "+", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "fI"}], "+", "y"}], ")"}], " ", 
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], "<",
    "0"}], "&&", 
  RowBox[{
   RowBox[{
    RowBox[{"pR", " ", 
     RowBox[{"(", 
      RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}], "+", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "fR"}], "+", "y"}], ")"}], " ", 
     RowBox[{"C", "[", 
      RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], "<",
    "0"}]}]], "Output",
 CellChangeTimes->{3.9156069938820667`*^9, 3.915630668854794*^9, 
  3.9156369768517857`*^9, 3.915650609751213*^9, 3.915653089658511*^9, 
  3.915701140128655*^9, 3.915702287264306*^9, 3.9157047753301983`*^9},
 CellLabel->"Out[15]=",ExpressionUUID->"d516b991-ad10-4035-87e0-67b7e1a7cf1d"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Check whether mixed makes sense even without fixed costs", \
"Subsubsection",
 CellChangeTimes->{{3.915605727159305*^9, 
  3.915605735574213*^9}},ExpressionUUID->"f38ac25c-f3bd-47a3-8670-\
76f7b524b5a2"],

Cell[BoxData[
 RowBox[{
  RowBox[{"mixedstatus", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"pR", "/", "pI"}], "<=", "Q10"}], "\[Implies]", 
      RowBox[{
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "==", 
       "pR"}]}], 
     RowBox[{"(*", " ", 
      RowBox[{"Rx", "-", 
       RowBox[{"only", " ", "corner", " ", "solution"}]}], " ", "*)"}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Q10", "<", 
       RowBox[{"pR", "/", "pI"}], "<", "Q01"}], "\[Implies]", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         RowBox[{"C", "[", 
          RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "<",
          "pR"}], "\[And]", 
        RowBox[{
         RowBox[{"C", "[", 
          RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "<",
          "pI"}]}], ")"}]}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{
       RowBox[{"pR", "/", "pI"}], ">=", "Q01"}], "\[Implies]", 
      RowBox[{
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "==", 
       "pI"}]}]}], 
    RowBox[{"(*", " ", 
     RowBox[{"Im", "-", 
      RowBox[{"only", " ", "corner", " ", "solution"}]}], " ", "*)"}], 
    "}"}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.855679778914289*^9, 3.855679786842173*^9}, {
   3.855679947015142*^9, 3.855680001975453*^9}, {3.855682174040099*^9, 
   3.855682176679512*^9}, {3.8556829926818657`*^9, 3.855683031022751*^9}, {
   3.855683107318385*^9, 3.8556831254618177`*^9}, {3.915563586837887*^9, 
   3.915563610731888*^9}, {3.915605623761174*^9, 3.915605671162434*^9}, 
   3.915605724576293*^9},
 CellLabel->"In[16]:=",ExpressionUUID->"381238d6-0b69-4c88-9589-b6b7583e493c"],

Cell[BoxData[
 RowBox[{
  RowBox[{"TheoryDifficulty", "=", "10"}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915607687317999*^9, 3.915607690626298*^9}, {
  3.91623053401451*^9, 
  3.916230534126906*^9}},ExpressionUUID->"817df641-4564-4ed8-89c9-\
02a6a439d6c7"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Confirming Appendix assertions", "Section",
 CellChangeTimes->{{3.915563392332752*^9, 3.9155633934301767`*^9}, {
  3.915630270440218*^9, 
  3.915630285213768*^9}},ExpressionUUID->"cd3132d3-b55d-407a-b974-\
00066c6476c0"],

Cell[CellGroupData[{

Cell["Four zones for pR/pI", "Subsection",
 CellChangeTimes->{{3.9156576784066963`*^9, 
  3.915657686231971*^9}},ExpressionUUID->"9bd7c9d3-80b7-44fb-9294-\
eac18dd4bdcc"],

Cell["\<\
four possible configurations are possible depending how pR/pI fits into the \
interval 0 < Q10 < 1 < Q01 < \[Infinity]\
\>", "Text",
 CellChangeTimes->{{3.91556727568255*^9, 3.9155672797342052`*^9}},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"3b995c19-1e2d-40c5-8b62-0e32ac2510e6"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"SignConditions", ",", "mixedstatus"}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{"notdominated", "@", "Rx"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915636439388636*^9, 3.915636441470646*^9}},
 CellLabel->"In[28]:=",ExpressionUUID->"36d14681-5763-4a18-a099-dea8331adaed"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.915636442301012*^9, 3.915650610902281*^9, 
  3.915662887183012*^9, 3.915701201918765*^9},
 CellLabel->"Out[28]=",ExpressionUUID->"568b179a-2a6d-4ce8-928f-c1202b44e976"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"SignConditions", ",", "mixedstatus"}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"0", "<", 
       FractionBox["pR", "pI"], "<=", "Q10"}], "\[And]", 
      RowBox[{"dominated", "@", "mixed"}], "\[And]", 
      RowBox[{"dominated", "@", "im"}]}], ")"}], "\[Or]", 
    "\[IndentingNewLine]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"Q10", "<", 
       FractionBox["pR", "pI"], "<=", "1"}], "\[And]", 
      RowBox[{"dominated", "@", "im"}]}], ")"}], "\[Or]", 
    "\[IndentingNewLine]", 
    RowBox[{"1", "<", 
     FractionBox["pR", "pI"], "<", "Q01"}], "\[Or]", "\[IndentingNewLine]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"Q01", "<=", 
       FractionBox["pR", "pI"]}], "\[And]", 
      RowBox[{"dominated", "@", "mixed"}]}], ")"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915636313882944*^9, 3.915636396004352*^9}},
 CellLabel->
  "In[149]:=",ExpressionUUID->"6c4267d2-23f0-4800-a9b1-a56daef7ec7d"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.915636340505439*^9, 3.915636398408098*^9}, 
   3.915662893525584*^9},
 CellLabel->
  "Out[149]=",ExpressionUUID->"a95cd107-3712-44c5-82de-04d84ae5b432"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"SignConditions", "[", 
     RowBox[{"[", "4", "]"}], "]"}], "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"dominated", "@", "im"}], "\[And]", 
      RowBox[{"dominated", "@", "mixed"}]}], ")"}], "\[Or]", 
    "\[IndentingNewLine]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"notdominated", "@", "im"}], "\[And]", 
      RowBox[{"dominated", "@", "mixed"}]}], ")"}], "\[Or]", 
    "\[IndentingNewLine]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"dominated", "@", "im"}], "\[And]", 
      RowBox[{"notdominated", "@", "mixed"}]}], ")"}], "\[Or]", 
    "\[IndentingNewLine]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"notdominated", "@", "im"}], "\[And]", 
      RowBox[{"notdominated", "@", "mixed"}]}], ")"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.91563070806812*^9, 3.915630795073464*^9}, {
  3.915630859100688*^9, 3.9156309244361343`*^9}, {3.915631065684288*^9, 
  3.91563106677195*^9}},
 CellLabel->
  "In[150]:=",ExpressionUUID->"d7b05d27-9bd7-44ae-b8b8-991656504c65"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.9156308790130653`*^9, 3.915630930279409*^9}, 
   3.9156629101768503`*^9},
 CellLabel->
  "Out[150]=",ExpressionUUID->"f95bb2e5-5393-4e09-a4c2-fe165a342da3"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Shorthand for critical values", "Subsubsection",
 CellChangeTimes->{{3.9156577103437777`*^9, 
  3.915657720022072*^9}},ExpressionUUID->"1c661698-6334-42e0-91d8-\
b43bc5648d86"],

Cell[BoxData[
 RowBox[{
  RowBox[{"yRxmixed", "=", 
   RowBox[{"fR", "+", 
    RowBox[{"fI", 
     FractionBox[
      RowBox[{" ", "pR"}], 
      RowBox[{"pR", "-", 
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
        "]"}]}]]}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915651731227388*^9, 3.9156517692896976`*^9}},
 CellLabel->"In[18]:=",ExpressionUUID->"682f3492-e2bf-413b-8ab4-fa726022db48"],

Cell[BoxData[
 RowBox[{
  RowBox[{"yImmixed", "=", 
   RowBox[{"fI", "+", 
    RowBox[{"fR", 
     FractionBox[
      RowBox[{" ", "pI"}], 
      RowBox[{"pI", "-", 
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
        "]"}]}]]}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915651781704926*^9, 3.91565178898519*^9}},
 CellLabel->"In[19]:=",ExpressionUUID->"021dde1b-f162-452d-956c-69b7922f9e22"],

Cell[BoxData[
 RowBox[{
  RowBox[{"yRxIm", "=", 
   RowBox[{
    RowBox[{
     FractionBox["pR", 
      RowBox[{"pR", "-", "pI"}]], "fI"}], "-", 
    RowBox[{
     FractionBox["pI", 
      RowBox[{"pR", "-", "pI"}]], "fR"}]}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915651802000017*^9, 3.9156518133115253`*^9}},
 CellLabel->"In[20]:=",ExpressionUUID->"1e02cf24-4d8f-42a0-bb30-174370a26d66"],

Cell[BoxData[
 RowBox[{
  RowBox[{"fRcritical", "=", 
   RowBox[{"fI", " ", 
    FractionBox[
     RowBox[{"pI", "-", 
      RowBox[{"C", "[", 
       RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}], 
     RowBox[{"pR", "-", 
      RowBox[{"C", "[", 
       RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]]}]}], 
  ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915657207751439*^9, 3.915657213485244*^9}},
 CellLabel->"In[21]:=",ExpressionUUID->"c2d412d6-f001-41cd-ab90-c35244351c64"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"SignConditions", "[", 
      RowBox[{"[", 
       RowBox[{"1", ";;", "4"}], "]"}], "]"}], ",", "mixedstatus", ",", 
     RowBox[{"1", "<", 
      FractionBox["pR", "pI"], "<", "Q01"}], ",", 
     RowBox[{"pI", "!=", 
      RowBox[{"C", "[", 
       RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}]}]}], 
    "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{"SameSign", "[", 
    RowBox[{
     RowBox[{"fRcritical", "-", "fR"}], ",", 
     RowBox[{"yRxmixed", "-", "yImmixed"}]}], "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.9156570338509283`*^9, 3.915657054761631*^9}, {
   3.9156570953397417`*^9, 3.9156571673285933`*^9}, {3.9156572809899607`*^9, 
   3.915657282270206*^9}, 3.9321212292212057`*^9},
 CellLabel->"In[29]:=",ExpressionUUID->"ad5c7d9a-e3de-4765-9e33-af06dc32c21b"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.915657138912472*^9, 3.915657162180525*^9}, 
   3.915657283306567*^9, 3.915662916057457*^9, 3.932121235533977*^9},
 CellLabel->"Out[29]=",ExpressionUUID->"6145c1cc-1c29-49b7-a8d6-16c003959edf"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"pR", ">", "pI"}], ",", "SignConditions", ",", "mixedstatus"}], 
    "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "==", 
       "pR"}], "\[Or]", 
      RowBox[{"yRxmixed", ">", 
       RowBox[{"fR", "+", "fI"}]}]}], ")"}], "\[And]", "\[IndentingNewLine]", 
    
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       RowBox[{"C", "[", 
        RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], "]"}], "==", 
       "pI"}], "\[Or]", 
      RowBox[{"yImmixed", ">=", 
       RowBox[{"fR", "+", "fI"}]}]}], ")"}], "\[And]", "\[IndentingNewLine]", 
    
    RowBox[{"yRxIm", ">", "fI"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915651838543412*^9, 3.9156518652941027`*^9}, {
  3.915651932033474*^9, 3.915652033120257*^9}, {3.915652078286006*^9, 
  3.915652078547904*^9}, {3.915652117899125*^9, 3.9156521586902723`*^9}, {
  3.91565220041857*^9, 3.9156522900221767`*^9}, {3.915652512399766*^9, 
  3.915652584636549*^9}, {3.915652627301725*^9, 3.915652632268588*^9}, {
  3.915652683557654*^9, 3.915652759984026*^9}},
 CellLabel->
  "In[152]:=",ExpressionUUID->"938109ff-a31a-4a54-abb2-c4b060620a83"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{
  3.9156518656456842`*^9, {3.915651933741006*^9, 3.9156520339420357`*^9}, 
   3.915652079484313*^9, {3.915652123696231*^9, 3.915652159400532*^9}, {
   3.9156522080228977`*^9, 3.915652210899768*^9}, {3.915652246974866*^9, 
   3.915652255547538*^9}, {3.915652287642787*^9, 3.9156522911131773`*^9}, 
   3.915652442854109*^9, {3.915652574970467*^9, 3.91565258566959*^9}, {
   3.915652629612425*^9, 3.915652633197241*^9}, {3.915652688979763*^9, 
   3.915652761113796*^9}, 3.9156629196819983`*^9},
 CellLabel->
  "Out[152]=",ExpressionUUID->"73e95f25-a7d3-4b9d-bee6-9336202eb7d5"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 "More detail on ",
 Cell[BoxData[
  RowBox[{"Q10", "<", 
   FractionBox["pR", "pI"], "<=", "1"}]],
  CellChangeTimes->{{3.915636313882944*^9, 3.915636396004352*^9}},
  ExpressionUUID->"59d3da5c-02bb-4de0-b895-bdd234583e84"]
}], "Subsubsection",
 CellChangeTimes->{{3.915652799822814*^9, 3.915652801349853*^9}, {
  3.915652913274732*^9, 3.915652913867134*^9}, {3.9156577308230667`*^9, 
  3.915657733302927*^9}},ExpressionUUID->"e41be80b-0cc7-4e00-b872-\
20c0d25c1b08"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Most", "@", "SignConditions"}], ",", "mixedstatus", ",", 
     RowBox[{"Q10", "<", 
      FractionBox["pR", "pI"], "<=", "1"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"y", ">", "yRxmixed"}], "\[And]", 
      RowBox[{"notdominated", "@", "mixed"}]}], ")"}], "\[Or]", 
    "\[IndentingNewLine]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"y", "<=", "yRxmixed"}], "\[And]", 
      RowBox[{"dominated", "@", "mixed"}]}], ")"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915652931954484*^9, 3.915653015152072*^9}, {
  3.915653050489279*^9, 3.9156530520227957`*^9}, {3.915653135700883*^9, 
  3.915653142796412*^9}, {3.915653360135652*^9, 3.9156533609011717`*^9}},
 CellLabel->
  "In[153]:=",ExpressionUUID->"d2258b17-5599-4239-bb09-01e527321879"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{
  3.915652943388473*^9, {3.915653011337103*^9, 3.9156530272720413`*^9}, 
   3.915653090739937*^9, {3.9156531386394863`*^9, 3.915653144495553*^9}, 
   3.915653362179289*^9, 3.915662930736661*^9},
 CellLabel->
  "Out[153]=",ExpressionUUID->"4bb19c49-f5a2-4e2f-92a0-64168d51339c"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 "More detail on ",
 Cell[BoxData[
  RowBox[{"1", "<", 
   FractionBox["pR", "pI"], "<", "Q01"}]],
  CellChangeTimes->{{3.915636313882944*^9, 3.915636396004352*^9}},
  ExpressionUUID->"8db7e72c-911a-4496-9f43-1142544d350a"]
}], "Subsubsection",
 CellChangeTimes->{{3.915652799822814*^9, 3.915652801349853*^9}, {
   3.915652913274732*^9, 3.915652913867134*^9}, {3.915653273321433*^9, 
   3.9156532733214817`*^9}, 
   3.915657774568418*^9},ExpressionUUID->"e4c38759-8e8f-456a-ae78-\
4e1cc058278b"],

Cell[TextData[{
 "The optional evaluations at the end ",
 StyleBox["// Normal // Simplify // Grid",
  FontWeight->"Bold"],
 " help display the formulas more concisely."
}], "Text",
 CellChangeTimes->{{3.9157023502006598`*^9, 3.9157024012346287`*^9}},
 Background->RGBColor[
  0.87, 0.94, 1],ExpressionUUID->"e6537ca3-81f5-4cf1-828f-6f2da071f538"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"TheoryOverlap", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{
        RowBox[{"Most", "@", "SignConditions"}], ",", "mixedstatus", ",", 
        RowBox[{"1", "<", 
         FractionBox["pR", "pI"], "<", "Q01"}]}], "}"}], ",", 
      "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"fR", ">", "fRcritical"}], "\[And]", 
       RowBox[{"y", ">", "yRxIm"}]}], ",", "\[IndentingNewLine]", 
      RowBox[{"notdominated", "@", "im"}]}], "]"}], "//", "Normal"}], "//", 
   "Simplify"}], "//", "Grid"}]], "Input",
 CellChangeTimes->{{3.915656217975482*^9, 3.915656226701338*^9}, {
   3.9156572430224733`*^9, 3.9156572460138893`*^9}, {3.9156578503234386`*^9, 
   3.915657851387789*^9}, 3.9156579022495737`*^9, 3.915702333414721*^9},
 CellLabel->"In[27]:=",ExpressionUUID->"9067758f-96a2-4e7d-a691-de3c552d137d"],

Cell[BoxData[
 TagBox[GridBox[{
    {
     TagBox[
      FormBox[
       RowBox[{"{", 
        RowBox[{
         RowBox[{
          RowBox[{"fR", ">", 
           FractionBox[
            RowBox[{"fI", " ", 
             RowBox[{"(", 
              RowBox[{"pI", "-", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], ")"}]}], 
            RowBox[{"pR", "-", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}]]}], "\[And]", 
          RowBox[{"y", ">", 
           FractionBox[
            RowBox[{
             RowBox[{"fR", " ", "pI"}], "-", 
             RowBox[{"fI", " ", "pR"}]}], 
            RowBox[{"pI", "-", "pR"}]]}]}], ",", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{
             RowBox[{
              RowBox[{"fI", " ", "pR"}], "+", 
              RowBox[{"pI", " ", "y"}]}], "<", 
             RowBox[{
              RowBox[{"fR", " ", "pI"}], "+", 
              RowBox[{"pR", " ", "y"}]}]}], "\[And]", 
            RowBox[{"fI", "\[LessEqual]", "y"}], "\[And]", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"(", 
               RowBox[{
                RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
                RowBox[{"pI", "\[LongEqual]", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}]}], ")"}], "\[Or]", 
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"y", "-", "fI"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"pI", " ", 
                 RowBox[{"(", 
                  RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], ">", 
               "0"}]}], ")"}]}], ")"}], "\[Or]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"fR", "-", "fI"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"fI", " ", "pI"}]}], "<", 
               RowBox[{"fR", " ", "pR"}]}], "\[Or]", 
              RowBox[{"pI", ">", "pR"}]}], ")"}], "\[And]", 
            RowBox[{"fR", ">", "0"}], "\[And]", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"pI", "\[LessEqual]", "pR"}], "\[Or]", 
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"fR", "-", "fI"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"fI", " ", "pI"}]}], "\[LessEqual]", 
               RowBox[{"fR", " ", "pR"}]}]}], ")"}], "\[And]", 
            RowBox[{"pI", ">", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "\[And]", 
            RowBox[{
             RowBox[{
              RowBox[{
               RowBox[{"(", 
                RowBox[{"y", "-", "fI"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "+", 
              RowBox[{"pI", " ", 
               RowBox[{"(", 
                RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
             "\[LessEqual]", "0"}]}], ")"}]}]}], "}"}],
       TraditionalForm],
      TraditionalForm,
      Editable->True], "\<\"are equivalent\"\>"}
   },
   AutoDelete->False,
   GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
  "Grid"]], "Output",
 CellChangeTimes->{3.9156562290566273`*^9, 3.9156572480099792`*^9, 
  3.915657853233488*^9, 3.9156579245624123`*^9, 3.915662948675509*^9, 
  3.91570233529458*^9},
 CellLabel->"Out[27]=",ExpressionUUID->"1384903c-4e10-4258-8594-768e1d27c37e"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryOverlap", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Most", "@", "SignConditions"}], ",", "mixedstatus", ",", 
     RowBox[{"1", "<", 
      FractionBox["pR", "pI"], "<", "Q01"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"y", ">", "yRxmixed"}], "\[And]", 
    RowBox[{"y", ">", "yImmixed"}]}], ",", "\[IndentingNewLine]", 
   RowBox[{"notdominated", "@", "mixed"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915657531805023*^9, 3.9156575646921453`*^9}},
 CellLabel->
  "In[155]:=",ExpressionUUID->"486c629b-5560-4d17-a7f4-88cd16956cd2"],

Cell[BoxData[
 TagBox[GridBox[{
    {
     TagBox[
      FormBox[
       RowBox[{"{", 
        RowBox[{
         RowBox[{
          RowBox[{"y", ">", 
           RowBox[{
            FractionBox[
             RowBox[{"fR", " ", "pI"}], 
             RowBox[{"pI", "-", 
              RowBox[{"C", "[", 
               RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
               "]"}]}]], "+", "fI"}]}], "\[And]", 
          RowBox[{"y", ">", 
           RowBox[{
            FractionBox[
             RowBox[{"fI", " ", "pR"}], 
             RowBox[{"pR", "-", 
              RowBox[{"C", "[", 
               RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
               "]"}]}]], "+", "fR"}]}]}], ",", 
         RowBox[{
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"y", "-", "fI"}], ")"}], " ", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "+", 
            RowBox[{"pI", " ", 
             RowBox[{"(", 
              RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], "<", "0"}], 
          "\[And]", 
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"y", "-", "fR"}], ")"}], " ", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "+", 
            RowBox[{"pR", " ", 
             RowBox[{"(", 
              RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], "<", "0"}], 
          "\[And]", 
          RowBox[{
           RowBox[{"fI", "+", "fR"}], "\[LessEqual]", "y"}]}]}], "}"}],
       TraditionalForm],
      TraditionalForm,
      Editable->True], "\<\"are equivalent\"\>"}
   },
   AutoDelete->False,
   GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
  "Grid"]], "Output",
 CellChangeTimes->{{3.915657546861023*^9, 3.915657565931127*^9}, 
   3.915662957532752*^9},
 CellLabel->
  "Out[155]=",ExpressionUUID->"8dc5602a-b7ad-43be-9c0a-de887cb62f44"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"TheoryOverlap", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{
        RowBox[{"Most", "@", "SignConditions"}], ",", "mixedstatus", ",", 
        RowBox[{"1", "<", 
         FractionBox["pR", "pI"], "<", "Q01"}]}], "}"}], ",", 
      "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"y", ">", "yRxIm"}], "\[And]", 
       RowBox[{"y", ">", "yImmixed"}], "\[And]", 
       RowBox[{"fR", ">", "fRcritical"}]}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"notdominated", "@", "mixed"}], "\[And]", 
       RowBox[{"notdominated", "@", "im"}]}]}], "]"}], "//", "Normal"}], "//",
    "Simplify"}], "//", "Grid"}]], "Input",
 CellChangeTimes->{{3.915657796325824*^9, 3.915657816351688*^9}, {
   3.91565785778898*^9, 3.9156578589080048`*^9}, 3.915657894173348*^9, 
   3.9156580282882433`*^9, {3.915658071830079*^9, 3.9156580784051332`*^9}, 
   3.915702319182249*^9},
 CellLabel->"In[26]:=",ExpressionUUID->"95f176d3-f5e8-4712-b29b-a9da9312493b"],

Cell[BoxData[
 TagBox[GridBox[{
    {
     TagBox[
      FormBox[
       RowBox[{"{", 
        RowBox[{
         RowBox[{
          RowBox[{"fR", ">", 
           FractionBox[
            RowBox[{"fI", " ", 
             RowBox[{"(", 
              RowBox[{"pI", "-", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], ")"}]}], 
            RowBox[{"pR", "-", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}]]}], "\[And]", 
          RowBox[{"y", ">", 
           FractionBox[
            RowBox[{
             RowBox[{"fR", " ", "pI"}], "-", 
             RowBox[{"fI", " ", "pR"}]}], 
            RowBox[{"pI", "-", "pR"}]]}], "\[And]", 
          RowBox[{"y", ">", 
           RowBox[{
            FractionBox[
             RowBox[{"fR", " ", "pI"}], 
             RowBox[{"pI", "-", 
              RowBox[{"C", "[", 
               RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
               "]"}]}]], "+", "fI"}]}]}], ",", 
         RowBox[{
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"y", "-", "fI"}], ")"}], " ", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "+", 
            RowBox[{"pI", " ", 
             RowBox[{"(", 
              RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], "<", "0"}], 
          "\[And]", 
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"y", "-", "fR"}], ")"}], " ", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "+", 
            RowBox[{"pR", " ", 
             RowBox[{"(", 
              RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], "<", "0"}], 
          "\[And]", 
          RowBox[{
           RowBox[{"fI", "+", "fR"}], "\[LessEqual]", "y"}], "\[And]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{
              RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
              RowBox[{"pI", "\[LongEqual]", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "\[And]", 
              RowBox[{
               RowBox[{
                RowBox[{"fI", " ", "pR"}], "+", 
                RowBox[{"pI", " ", "y"}]}], "<", 
               RowBox[{
                RowBox[{"fR", " ", "pI"}], "+", 
                RowBox[{"pR", " ", "y"}]}]}], "\[And]", 
              RowBox[{"fI", "\[LessEqual]", "y"}]}], ")"}], "\[Or]", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"fR", ">", "0"}], "\[And]", 
              RowBox[{"pI", ">", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "\[And]", 
              RowBox[{"(", 
               RowBox[{
                RowBox[{
                 RowBox[{
                  RowBox[{
                   RowBox[{"(", 
                    RowBox[{"fR", "-", "fI"}], ")"}], " ", 
                   RowBox[{"C", "[", 
                    RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                    "]"}]}], "+", 
                  RowBox[{"fI", " ", "pI"}]}], "<", 
                 RowBox[{"fR", " ", "pR"}]}], "\[Or]", 
                RowBox[{"(", 
                 RowBox[{
                  RowBox[{"pI", ">", "pR"}], "\[And]", 
                  RowBox[{
                   RowBox[{
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{"fR", "-", "fI"}], ")"}], " ", 
                    RowBox[{"C", "[", 
                    RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                    "]"}]}], "+", 
                    RowBox[{"fI", " ", "pI"}]}], "\[LessEqual]", 
                   RowBox[{"fR", " ", "pR"}]}]}], ")"}]}], ")"}]}], ")"}]}], 
           ")"}]}]}], "}"}],
       TraditionalForm],
      TraditionalForm,
      Editable->True], "\<\"are equivalent\"\>"}
   },
   AutoDelete->False,
   GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
  "Grid"]], "Output",
 CellChangeTimes->{3.915657840468965*^9, 3.915657882652367*^9, 
  3.9156579231399593`*^9, 3.915658048587391*^9, 3.915658097644854*^9, 
  3.915662968442409*^9, 3.9157023231305513`*^9},
 CellLabel->"Out[26]=",ExpressionUUID->"38c42b19-b4ac-4e0f-8e00-9761a0943002"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 "More detail on ",
 Cell[BoxData[
  RowBox[{"Q01", "<=", 
   FractionBox["pR", "pI"]}]],
  CellChangeTimes->{{3.915636313882944*^9, 3.915636396004352*^9}},
  ExpressionUUID->"5a551e8e-eeab-47b7-a997-e5be874b349e"]
}], "Subsubsection",
 CellChangeTimes->{{3.915652799822814*^9, 3.915652801349853*^9}, {
   3.915652913274732*^9, 3.915652913867134*^9}, {3.915653273321433*^9, 
   3.9156532733214817`*^9}, 3.915657774568418*^9, {3.915658251090991*^9, 
   3.9156582510910177`*^9}},ExpressionUUID->"69011f50-f63f-4976-beb3-\
324ee2391049"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"TheoryOverlap", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"SignConditions", ",", "mixedstatus", ",", 
        RowBox[{"Q01", "<=", 
         FractionBox["pR", "pI"]}]}], "}"}], ",", "\[IndentingNewLine]", 
      RowBox[{"y", ">", "yRxIm"}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"notdominated", "@", "im"}], "\[And]", 
       RowBox[{"dominated", "@", "mixed"}]}]}], "]"}], "//", "Normal"}], "//",
    "Simplify"}], "//", "Grid"}]], "Input",
 CellChangeTimes->{{3.915658351392329*^9, 3.915658373205205*^9}, {
   3.915659043544695*^9, 3.9156590534025173`*^9}, {3.915659416834153*^9, 
   3.915659420792502*^9}, {3.915659537877458*^9, 3.915659563773509*^9}, {
   3.9156629862575912`*^9, 3.915662987186288*^9}, 3.915701127642185*^9, {
   3.915701162034642*^9, 3.915701186692541*^9}, 3.915702281528923*^9},
 CellLabel->"In[25]:=",ExpressionUUID->"b3915bb9-8d2d-4ff6-8c7d-bf3a103bc9ac"],

Cell[BoxData[
 TagBox[GridBox[{
    {
     TagBox[
      FormBox[
       RowBox[{"{", 
        RowBox[{
         RowBox[{"y", ">", 
          FractionBox[
           RowBox[{
            RowBox[{"fR", " ", "pI"}], "-", 
            RowBox[{"fI", " ", "pR"}]}], 
           RowBox[{"pI", "-", "pR"}]]}], ",", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{
             RowBox[{
              RowBox[{"fI", " ", "pR"}], "+", 
              RowBox[{"pI", " ", "y"}]}], "<", 
             RowBox[{
              RowBox[{"fR", " ", "pI"}], "+", 
              RowBox[{"pR", " ", "y"}]}]}], "\[And]", 
            RowBox[{"fI", "\[LessEqual]", "y"}], "\[And]", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"(", 
               RowBox[{
                RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
                RowBox[{"pI", "\[LongEqual]", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "\[And]", 
                RowBox[{"(", 
                 RowBox[{
                  RowBox[{
                   RowBox[{
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{"y", "-", "fI"}], ")"}], " ", 
                    RowBox[{"C", "[", 
                    RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                    "]"}]}], "+", 
                    RowBox[{"pI", " ", 
                    RowBox[{"(", 
                    RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
                   "\[GreaterEqual]", "0"}], "\[Or]", 
                  RowBox[{
                   RowBox[{
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{"y", "-", "fR"}], ")"}], " ", 
                    RowBox[{"C", "[", 
                    RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                    "]"}]}], "+", 
                    RowBox[{"pR", " ", 
                    RowBox[{"(", 
                    RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
                   "\[GreaterEqual]", "0"}], "\[Or]", 
                  RowBox[{
                   RowBox[{"fI", "+", "fR"}], ">", "y"}]}], ")"}]}], ")"}], 
              "\[Or]", 
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"y", "-", "fI"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"pI", " ", 
                 RowBox[{"(", 
                  RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], ">", 
               "0"}]}], ")"}]}], ")"}], "\[Or]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"y", "-", "fI"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"pI", " ", 
                 RowBox[{"(", 
                  RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
               "\[LongEqual]", "0"}], "\[Or]", 
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"y", "-", "fR"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"pR", " ", 
                 RowBox[{"(", 
                  RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
               "\[GreaterEqual]", "0"}], "\[Or]", 
              RowBox[{
               RowBox[{"fI", "+", "fR"}], ">", "y"}]}], ")"}], "\[And]", 
            RowBox[{
             RowBox[{
              RowBox[{
               RowBox[{"(", 
                RowBox[{"y", "-", "fI"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "+", 
              RowBox[{"pI", " ", 
               RowBox[{"(", 
                RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
             "\[LessEqual]", "0"}], "\[And]", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               RowBox[{
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"fR", "-", "fI"}], ")"}], " ", 
                 RowBox[{"C", "[", 
                  RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                  "]"}]}], "+", 
                RowBox[{"fI", " ", "pI"}]}], "<", 
               RowBox[{"fR", " ", "pR"}]}], "\[Or]", 
              RowBox[{"pI", ">", "pR"}]}], ")"}], "\[And]", 
            RowBox[{
             RowBox[{
              RowBox[{
               RowBox[{"(", 
                RowBox[{"fR", "-", "fI"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "+", 
              RowBox[{"fI", " ", "pI"}]}], "\[LessEqual]", 
             RowBox[{"fR", " ", "pR"}]}], "\[And]", 
            RowBox[{"fR", ">", "0"}], "\[And]", 
            RowBox[{"pI", ">", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}]}], ")"}]}]}], "}"}],
       TraditionalForm],
      TraditionalForm,
      Editable->True], "\<\"are equivalent\"\>"}
   },
   AutoDelete->False,
   GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
  "Grid"]], "Output",
 CellChangeTimes->{
  3.915659139250278*^9, {3.915659522344405*^9, 3.915659567486352*^9}, 
   3.91566299282093*^9, 3.915702289227666*^9},
 CellLabel->"Out[25]=",ExpressionUUID->"1c69ba56-9832-468d-a422-eff6e58cc0a5"]
}, Open  ]]
}, Closed]]
}, Closed]],

Cell[CellGroupData[{

Cell["More assertions from the appendix", "Subsection",
 CellChangeTimes->{{3.915658166217328*^9, 
  3.915658174936842*^9}},ExpressionUUID->"35b0da0d-90e6-49e9-a3b9-\
64ec77237938"],

Cell["The upper envelope is only one piece if pR/pI < Q10", "Text",
 CellChangeTimes->{3.9155673099811773`*^9},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"23bd4bf3-4b0d-44ae-80a6-137b5ac99d5c"],

Cell["More specifically, both Im and mixed are dominated.", "Text",
 CellChangeTimes->{{3.9156078406798983`*^9, 
  3.9156078581352863`*^9}},ExpressionUUID->"ed1b3728-f08b-4318-bb4c-\
c4455392f7a2"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"SignConditions", ",", "mixedstatus", ",", 
     RowBox[{
      FractionBox["pR", "pI"], "<", "Q10"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"notdominated", "@", "Rx"}], "\[And]", 
    RowBox[{"dominated", "@", "im"}], "\[And]", 
    RowBox[{"dominated", "@", "mixed"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915607538184038*^9, 3.915607648692173*^9}, 
   3.915607748363783*^9, {3.9156082738643017`*^9, 3.915608274854929*^9}, 
   3.915608782746654*^9, {3.915636679172985*^9, 3.915636693197451*^9}, {
   3.915658295592339*^9, 3.9156582963676987`*^9}},
 CellLabel->
  "In[158]:=",ExpressionUUID->"0d1a902b-7945-4ec6-b618-742d496f9c96"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.91560767441745*^9, 3.915607700232047*^9}, 
   3.915608288657894*^9, 3.915608326651985*^9, 3.915608832686384*^9, {
   3.9156366881025953`*^9, 3.915636698204105*^9}, 3.915658212311553*^9, 
   3.915663073165659*^9},
 CellLabel->
  "Out[158]=",ExpressionUUID->"3983d11f-23ad-4919-9820-e7a82ee5fc67"]
}, Open  ]],

Cell["\<\
If income is great enough and fR>0, the upper envelope consists of two pieces \
(as in Figure 1b) if pR/pI \[GreaterEqual] Q01 or Q10 < pR/pI \[LessEqual] 1,\
\
\>", "Text",
 CellChangeTimes->{{3.915567350031507*^9, 3.915567386938205*^9}, {
  3.915706308517778*^9, 3.915706310020894*^9}},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"0c7573ea-246c-488a-a3eb-37b161a037cd"],

Cell[BoxData[
 RowBox[{
  RowBox[{"upperenvisRxonlyandImonly", "=", 
   RowBox[{
    RowBox[{"notdominated", "@", "Rx"}], "\[And]", 
    RowBox[{"notdominated", "@", "im"}], "\[And]", 
    RowBox[{"dominated", "@", "mixed"}]}]}], ";", " ", 
  RowBox[{"(*", " ", 
   RowBox[{"one", " ", "version", " ", "of", " ", "\"\<two pieces\>\""}], " ",
    "*)"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9156079345451717`*^9, 3.915607951932949*^9}, {
   3.915607995413*^9, 3.915608010029303*^9}, {3.915622544031378*^9, 
   3.9156225504069767`*^9}, {3.915624398232229*^9, 3.9156244015918903`*^9}, 
   3.915627426734955*^9, {3.9157063986852903`*^9, 3.915706400144392*^9}, 
   3.915706510209414*^9},
 CellLabel->"In[49]:=",ExpressionUUID->"ddf0f302-1403-4727-a749-4451df318c00"],

Cell[BoxData[
 RowBox[{
  RowBox[{"upperenvisRxonlyandmixed", "=", 
   RowBox[{
    RowBox[{"notdominated", "@", "Rx"}], "\[And]", 
    RowBox[{"dominated", "@", "im"}], "\[And]", 
    RowBox[{"notdominated", "@", "mixed"}]}]}], ";", " ", 
  RowBox[{"(*", " ", 
   RowBox[{"another", " ", "version", " ", "of", " ", "\"\<two pieces\>\""}], 
   " ", "*)"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915607959828643*^9, 3.915607989346428*^9}, {
   3.915622554396727*^9, 3.9156225588926888`*^9}, {3.915624412189692*^9, 
   3.915624414405995*^9}, {3.915706403190934*^9, 3.915706404966395*^9}, 
   3.9157065059916277`*^9},
 CellLabel->"In[50]:=",ExpressionUUID->"51924844-a8b0-4185-9c9f-f1eca6d64120"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"fR", ">", "0"}], ",", 
     RowBox[{"y", ">", "yRxmixed"}], ",", 
     RowBox[{
      RowBox[{
       FractionBox["pR", "pI"], ">", "Q01"}], "\[Or]", 
      RowBox[{"Q10", "<", 
       FractionBox["pR", "pI"], "<=", "1"}]}], ",", "\[IndentingNewLine]", 
     "mixedstatus", ",", 
     RowBox[{"Most", "@", "SignConditions"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
   "upperenvisRxonlyandmixed", "\[Or]", "upperenvisRxonlyandImonly"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.915629815140243*^9, 3.9156298170177383`*^9}, {
  3.915629862257443*^9, 3.915629863956218*^9}, {3.9156299188343554`*^9, 
  3.915629922728384*^9}, {3.9156299634788733`*^9, 3.915629965868429*^9}, {
  3.915703473322277*^9, 3.915703481381242*^9}},
 CellLabel->"In[42]:=",ExpressionUUID->"8cb7886f-8eb6-4a38-92b2-19d5c31d6698"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.915629895975102*^9, 3.915629958563552*^9, 
  3.915703489391609*^9, 3.915706394499267*^9, 3.9157064416599483`*^9},
 CellLabel->"Out[42]=",ExpressionUUID->"50debf8f-b95e-4788-9544-847825ae6c6e"]
}, Open  ]],

Cell["\<\
The mixed (Im-only) constraint is dominated by the other two in the former \
(latter) case, respectively.\
\>", "Text",
 CellChangeTimes->{3.915567404667384*^9, 3.915706648792642*^9},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"71fee240-f60c-4b88-a86e-e9cf335a5380"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"fR", ">", "0"}], ",", 
     RowBox[{"y", ">", "yRxmixed"}], ",", 
     RowBox[{
      FractionBox["pR", "pI"], ">", "Q01"}], ",", "\[IndentingNewLine]", 
     "mixedstatus", ",", 
     RowBox[{"SignConditions", "[", 
      RowBox[{"[", 
       RowBox[{"{", 
        RowBox[{"1", ",", "2", ",", "4", ",", "6"}], "}"}], "]"}], "]"}]}], 
    "}"}], ",", "\[IndentingNewLine]", 
   RowBox[{"dominated", "@", "mixed"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915628314005858*^9, 3.91562832794179*^9}, {
   3.915628382853179*^9, 3.915628383710846*^9}, {3.9156284924247417`*^9, 
   3.915628492729513*^9}, {3.915629086505121*^9, 3.915629088119892*^9}, {
   3.915629250789693*^9, 3.915629258915073*^9}, {3.915629411150679*^9, 
   3.915629422017112*^9}, {3.9156294757315903`*^9, 3.915629497403253*^9}, {
   3.915629531443328*^9, 3.915629559641144*^9}, {3.915629594126708*^9, 
   3.9156295943170033`*^9}, {3.915629688376349*^9, 3.9156297290041323`*^9}, 
   3.9157035200857058`*^9, {3.9157065315107737`*^9, 3.915706553507079*^9}, 
   3.915706609396448*^9},
 CellLabel->"In[54]:=",ExpressionUUID->"c2e81fb3-2265-406a-ab6e-58bbfb9da994"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.915628316433638*^9, 3.915628329592021*^9}, 
   3.915628385323999*^9, 3.9156290441552877`*^9, 3.915629089451009*^9, 
   3.9156292631387*^9, {3.915629416160615*^9, 3.9156294262762823`*^9}, {
   3.9156294839575644`*^9, 3.9156295021208973`*^9}, {3.915629538122098*^9, 
   3.915629563830193*^9}, 3.9156295991417303`*^9, {3.915629697402413*^9, 
   3.915629733838097*^9}, 3.915703525393506*^9, {3.915706517989983*^9, 
   3.915706558197473*^9}, 3.915706611894278*^9},
 CellLabel->"Out[54]=",ExpressionUUID->"555ae032-3bfa-42b2-a4b4-d89c9e681c6b"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"fR", ">", "0"}], ",", 
     RowBox[{"y", ">", "yRxmixed"}], ",", 
     RowBox[{"Q10", "<", 
      FractionBox["pR", "pI"], "<=", "1"}], ",", "\[IndentingNewLine]", 
     "mixedstatus", ",", 
     RowBox[{"Most", "@", "SignConditions"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{"dominated", "@", "im"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915607803786035*^9, 3.915607810673052*^9}, {
   3.91560786761423*^9, 3.915607900110743*^9}, {3.9156080301623087`*^9, 
   3.915608050921855*^9}, {3.915608139614347*^9, 3.9156081413199797`*^9}, {
   3.915608248938118*^9, 3.9156082700207787`*^9}, {3.9156226624366407`*^9, 
   3.915622704899727*^9}, {3.915623653090706*^9, 3.915623680856534*^9}, {
   3.915623862172456*^9, 3.9156238858542147`*^9}, {3.9156248960067663`*^9, 
   3.915624899598605*^9}, {3.915629732124305*^9, 3.91562973250648*^9}, {
   3.915629828966612*^9, 3.915629838067547*^9}, {3.915703531648094*^9, 
   3.915703541066169*^9}, 3.915706625715453*^9},
 CellLabel->"In[55]:=",ExpressionUUID->"893e7c56-92e2-4ed2-a8d1-81d7c9e2b4ae"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{
  3.915608222413733*^9, {3.915608262439983*^9, 3.915608278984928*^9}, 
   3.915608852355122*^9, 3.915622637081805*^9, {3.915622671673856*^9, 
   3.915622682670762*^9}, 3.915622723717779*^9, 3.915623690874013*^9, 
   3.9156238900951347`*^9, 3.915624421291127*^9, 3.915624903754781*^9, {
   3.915629714848613*^9, 3.915629739957843*^9}, 3.915703562303569*^9, 
   3.915706628276429*^9},
 CellLabel->"Out[55]=",ExpressionUUID->"5c3023ab-d6b7-408d-ab64-fb612a5f8e9a"]
}, Open  ]],

Cell["\<\
The remaining interval is where three pieces are possible when fR > 0, with \
the mixed piece forming the upper envelope at the highest quantities \
\>", "Text",
 CellChangeTimes->{3.915567442347948*^9},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"e386029b-bdf6-4987-a291-6f41a8d5a176"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
    "SignConditions", ",", "mixedstatus", ",", "\[IndentingNewLine]", 
     RowBox[{"notdominated", "@", "Rx"}], ",", 
     RowBox[{"notdominated", "@", "im"}], ",", 
     RowBox[{"notdominated", "@", "mixed"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"1", "<", 
     FractionBox["pR", "pI"], "<", "Q01"}], "\[And]", 
    RowBox[{"fR", ">", "0"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.9156367867171164`*^9, 3.915636840603731*^9}},
 CellLabel->"In[38]:=",ExpressionUUID->"df3ee43d-33b4-40cc-addc-0533425a5daf"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.9156368298766747`*^9, 3.915706271733369*^9},
 CellLabel->"Out[38]=",ExpressionUUID->"c660dd13-1f69-4113-9552-d319429c2eb1"]
}, Open  ]],

Cell["\<\
When fR is sufficiently close to zero, the only difference is that the \
interval 1 < pR/pI < Q01 cannot have three pieces because the Im-only piece \
is dominated by mixed consumption.\
\>", "Text",
 CellChangeTimes->{
  3.915567460983425*^9, {3.915660487952882*^9, 3.9156604933610497`*^9}},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"96f5661b-6d08-4c3c-9b94-6d11d2be4140"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TheoryGuru", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"0", "<=", "fR", "<=", "fRcritical"}], ",", "SignConditions", 
     ",", "mixedstatus", ",", "\[IndentingNewLine]", 
     RowBox[{"1", "<", 
      FractionBox["pR", "pI"], "<", "Q01"}]}], "}"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{"dominated", "@", "im"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.915636865832283*^9, 3.915636929869194*^9}, {
  3.9156603900785418`*^9, 3.9156603988149557`*^9}},
 CellLabel->"In[27]:=",ExpressionUUID->"07993e68-564f-491c-bfd7-9104a4325123"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.915636918317051*^9, 3.915636930610561*^9}, 
   3.9156369774986687`*^9, {3.915660379156042*^9, 3.9156604006036663`*^9}, 
   3.915705806824665*^9},
 CellLabel->"Out[27]=",ExpressionUUID->"2d15f4d4-4a04-4ccc-8360-cfb0ce85ddd8"]
}, Open  ]],

Cell[TextData[{
 "The case aggregating to equation (2) is ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{
     SubscriptBox["Q", "01"], "\[LessEqual]", 
     FractionBox["pR", "pI"]}], "\[And]", 
    RowBox[{"y", ">", 
     FractionBox[
      RowBox[{"fI", " ", "pR"}], 
      RowBox[{"pR", "-", "pI"}]]}], "\[And]", 
    RowBox[{"fR", "\[Equal]", "0"}]}], TraditionalForm]],ExpressionUUID->
  "6356df2b-e518-40dd-92ff-2ef5eb98128d"],
 " ."
}], "Text",
 CellChangeTimes->{{3.915567533378294*^9, 3.915567629101098*^9}, {
  3.9156644783548117`*^9, 3.915664488144381*^9}, {3.915664525355331*^9, 
  3.915664559140587*^9}, {3.9157050426842527`*^9, 3.91570508426756*^9}, {
  3.915705475701387*^9, 3.9157054867090178`*^9}, {3.915705730235544*^9, 
  3.915705755457779*^9}, {3.915707009351728*^9, 3.915707009351812*^9}},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"6ba88f2a-0efd-423d-96e2-d36b6988820d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Eqn2", "=", 
   RowBox[{
    RowBox[{
     RowBox[{"fR", "==", "0"}], "\[And]", 
     RowBox[{"dominated", "@", "mixed"}], "\[And]", 
     RowBox[{"notdominated", "@", "im"}]}], "//", "Simplify"}]}], 
  ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.915705610367751*^9, 3.915705644330978*^9}, {
  3.9157059623516607`*^9, 3.915705963433578*^9}},
 CellLabel->"In[32]:=",ExpressionUUID->"5a90b760-65d4-4e0b-820b-8d1dda998a9e"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"TheoryOverlap", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"SignConditions", ",", "mixedstatus"}], "}"}], ",", 
      "\[IndentingNewLine]", "Eqn2", ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Q01", "<=", 
        FractionBox["pR", "pI"]}], "\[And]", 
       RowBox[{"y", ">", 
        FractionBox[
         RowBox[{"fI", " ", "pR"}], 
         RowBox[{"pR", "-", "pI"}]]}], "\[And]", 
       RowBox[{"fR", "==", "0"}]}]}], "]"}], "//", "Normal"}], "//", 
   "Simplify"}], "//", "Grid"}]], "Input",
 CellChangeTimes->{{3.915705569941011*^9, 3.915705579061467*^9}, {
   3.915705651745685*^9, 3.915705694269331*^9}, {3.915705938522327*^9, 
   3.91570594063165*^9}, 3.9157059740832443`*^9, 3.915707015797991*^9},
 CellLabel->"In[56]:=",ExpressionUUID->"f1706aff-80ca-4b1c-a5d0-aa572326faa3"],

Cell[BoxData[
 TagBox[GridBox[{
    {
     TagBox[
      FormBox[
       RowBox[{"{", 
        RowBox[{
         RowBox[{
          RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
          RowBox[{
           RowBox[{
            RowBox[{"fI", " ", "pR"}], "+", 
            RowBox[{"pI", " ", "y"}]}], "<", 
           RowBox[{
            RowBox[{"fR", " ", "pI"}], "+", 
            RowBox[{"pR", " ", "y"}]}]}], "\[And]", 
          RowBox[{"fI", "\[LessEqual]", "y"}], "\[And]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{
              RowBox[{"pI", "\[LongEqual]", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "\[And]", 
              RowBox[{"(", 
               RowBox[{
                RowBox[{
                 RowBox[{
                  RowBox[{
                   RowBox[{"(", 
                    RowBox[{"y", "-", "fI"}], ")"}], " ", 
                   RowBox[{"C", "[", 
                    RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                    "]"}]}], "+", 
                  RowBox[{"pI", " ", 
                   RowBox[{"(", 
                    RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
                 "\[GreaterEqual]", "0"}], "\[Or]", 
                RowBox[{
                 RowBox[{
                  RowBox[{
                   RowBox[{"(", 
                    RowBox[{"y", "-", "fR"}], ")"}], " ", 
                   RowBox[{"C", "[", 
                    RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                    "]"}]}], "+", 
                  RowBox[{"pR", " ", 
                   RowBox[{"(", 
                    RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], 
                 "\[GreaterEqual]", "0"}], "\[Or]", 
                RowBox[{
                 RowBox[{"fI", "+", "fR"}], ">", "y"}]}], ")"}]}], ")"}], 
            "\[Or]", 
            RowBox[{
             RowBox[{
              RowBox[{
               RowBox[{"(", 
                RowBox[{"y", "-", "fI"}], ")"}], " ", 
               RowBox[{"C", "[", 
                RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
                "]"}]}], "+", 
              RowBox[{"pI", " ", 
               RowBox[{"(", 
                RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], ">", "0"}]}], 
           ")"}]}], ",", 
         RowBox[{
          RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
          RowBox[{"y", ">", 
           FractionBox[
            RowBox[{"fI", " ", "pR"}], 
            RowBox[{"pR", "-", "pI"}]]}], "\[And]", 
          RowBox[{"Q01", "\[LessEqual]", 
           FractionBox["pR", "pI"]}]}]}], "}"}],
       TraditionalForm],
      TraditionalForm,
      Editable->True], "\<\"are equivalent\"\>"}
   },
   AutoDelete->False,
   GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
  "Grid"]], "Output",
 CellChangeTimes->{
  3.915705802804768*^9, 3.915705929428679*^9, {3.915705968003034*^9, 
   3.915705976030575*^9}, 3.915707020685049*^9},
 CellLabel->"Out[56]=",ExpressionUUID->"ea3ecec4-35a3-4680-bf88-9177345cc0c0"]
}, Open  ]],

Cell["\<\
A second case would differ only in replacing pI with C(1,pR,pI;0,0).\
\>", "Text",
 CellChangeTimes->{3.915705890316774*^9, 3.9157059880302753`*^9},
 Background->RGBColor[
  0.94, 0.91, 0.88],ExpressionUUID->"7812f819-e900-4323-b433-d5feeb3f5ea7"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Eqn2alt", "=", 
   RowBox[{
    RowBox[{
     RowBox[{"fR", "==", "0"}], "\[And]", 
     RowBox[{"notdominated", "@", "mixed"}], "\[And]", 
     RowBox[{"dominated", "@", "im"}]}], "//", "Simplify"}]}], ";"}]], "Input",\

 InitializationCell->True,
 CellChangeTimes->{{3.915705610367751*^9, 3.915705644330978*^9}, {
  3.9157059623516607`*^9, 3.915705963433578*^9}, {3.9157060410533733`*^9, 
  3.9157060472784157`*^9}},
 CellLabel->"In[35]:=",ExpressionUUID->"9b4fecc3-60b5-45b9-9018-5609b92287a0"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"TheoryOverlap", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"SignConditions", ",", "mixedstatus"}], "}"}], ",", 
      "\[IndentingNewLine]", "Eqn2alt", ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Q10", "<", 
        FractionBox["pR", "pI"], "<", "Q01"}], "\[And]", 
       RowBox[{"y", ">", "yRxmixed"}], "\[And]", 
       RowBox[{"fR", "==", "0"}]}]}], "]"}], "//", "Normal"}], "//", 
   "Simplify"}], "//", "Grid"}]], "Input",
 CellChangeTimes->{{3.9157060695683107`*^9, 3.915706070752306*^9}, {
  3.915706130528365*^9, 3.9157061592634573`*^9}},
 CellLabel->"In[37]:=",ExpressionUUID->"b981f9a0-3280-4a65-94e6-7dd7d17595ce"],

Cell[BoxData[
 TagBox[GridBox[{
    {
     TagBox[
      FormBox[
       RowBox[{"{", 
        RowBox[{
         RowBox[{
          RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"pI", "\[NotEqual]", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "\[Or]", 
            RowBox[{
             RowBox[{
              RowBox[{"fI", " ", "pR"}], "+", 
              RowBox[{"pI", " ", "y"}]}], "\[GreaterEqual]", 
             RowBox[{
              RowBox[{"fR", " ", "pI"}], "+", 
              RowBox[{"pR", " ", "y"}]}]}], "\[Or]", 
            RowBox[{"fI", ">", "y"}]}], ")"}], "\[And]", 
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"y", "-", "fI"}], ")"}], " ", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "+", 
            RowBox[{"pI", " ", 
             RowBox[{"(", 
              RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], "<", "0"}], 
          "\[And]", 
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"y", "-", "fR"}], ")"}], " ", 
             RowBox[{"C", "[", 
              RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
              "]"}]}], "+", 
            RowBox[{"pR", " ", 
             RowBox[{"(", 
              RowBox[{"fI", "+", "fR", "-", "y"}], ")"}]}]}], "<", "0"}], 
          "\[And]", 
          RowBox[{
           RowBox[{"fI", "+", "fR"}], "\[LessEqual]", "y"}]}], ",", 
         RowBox[{
          RowBox[{"fR", "\[LongEqual]", "0"}], "\[And]", 
          RowBox[{"y", ">", 
           RowBox[{
            FractionBox[
             RowBox[{"fI", " ", "pR"}], 
             RowBox[{"pR", "-", 
              RowBox[{"C", "[", 
               RowBox[{"1", ",", "pR", ",", "pI", ",", "0", ",", "0"}], 
               "]"}]}]], "+", "fR"}]}], "\[And]", 
          RowBox[{
           FractionBox["pR", "pI"], "<", "Q01"}], "\[And]", 
          RowBox[{"Q10", "<", 
           FractionBox["pR", "pI"]}]}]}], "}"}],
       TraditionalForm],
      TraditionalForm,
      Editable->True], "\<\"are equivalent\"\>"}
   },
   AutoDelete->False,
   GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
  "Grid"]], "Output",
 CellChangeTimes->{3.915706176632978*^9},
 CellLabel->"Out[37]=",ExpressionUUID->"76a92684-85ec-4881-9e7c-07a660773610"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{845, 847},
WindowMargins->{{Automatic, 503}, {Automatic, 0}},
TaggingRules->Association["TryRealOnly" -> False],
FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (July 9, 2021)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"a1a4413d-a16b-4e9d-9d8f-f859a2234a70"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 186, 3, 98, "Title",ExpressionUUID->"a720daca-b9a7-4bea-a4e7-702d9d7edfa9"],
Cell[769, 27, 417, 10, 53, "Subtitle",ExpressionUUID->"71adace6-191d-4457-b68c-9656dee6e5bb"],
Cell[1189, 39, 1853, 45, 212, "Text",ExpressionUUID->"6d3085b6-d288-4c85-b9a3-85b7075e5138"],
Cell[3045, 86, 974, 21, 166, "Text",ExpressionUUID->"6d606b91-89f4-42ec-aeef-ed10f7d97f18"],
Cell[CellGroupData[{
Cell[4044, 111, 152, 3, 67, "Section",ExpressionUUID->"7a296f90-e9cd-4be1-a623-893c2e63a089"],
Cell[CellGroupData[{
Cell[4221, 118, 222, 5, 45, "Subsubsection",ExpressionUUID->"062c5bd8-cbeb-4c99-9a0f-87434ef7ded0"],
Cell[4446, 125, 644, 14, 68, "Input",ExpressionUUID->"e0d8e979-bb9c-4e77-94bd-d3ca4794b675",
 InitializationCell->True],
Cell[5093, 141, 838, 22, 89, "Input",ExpressionUUID->"877f13c6-fe01-4a2e-b374-da6457265819",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[5968, 168, 229, 5, 45, "Subsubsection",ExpressionUUID->"4ef26b2c-be0c-4bed-b9c6-122226c3f41e"],
Cell[6200, 175, 1194, 32, 89, "Input",ExpressionUUID->"d08529cd-1051-4eb1-ac61-29b11d63ca6d",
 InitializationCell->True],
Cell[7397, 209, 721, 18, 68, "Input",ExpressionUUID->"811a05fd-5088-4c42-a5d3-d1cc89284a15",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[8155, 232, 211, 4, 45, "Subsubsection",ExpressionUUID->"a1ea1eff-e93b-450d-8e2e-73c6052f616f"],
Cell[8369, 238, 311, 7, 35, "Text",ExpressionUUID->"0f03fe65-740d-4a4e-ae11-cfd3fe5edba8"],
Cell[8683, 247, 335, 7, 46, "Input",ExpressionUUID->"bebdfae1-573d-4967-a395-5b22693a1319",
 InitializationCell->True],
Cell[9021, 256, 1002, 23, 89, "Input",ExpressionUUID->"4e6291a3-f627-40e9-9372-cefd5b5945e8",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[10048, 283, 514, 11, 46, "Input",ExpressionUUID->"579ae3a2-920a-434f-aebf-956f8cd1da02",
 InitializationCell->True],
Cell[10565, 296, 4099, 114, 203, "Output",ExpressionUUID->"54a31b49-cd67-460a-a9a7-7e5f676c36fb"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[14713, 416, 211, 4, 45, "Subsubsection",ExpressionUUID->"cfcd9777-6c57-441c-99cc-ce3376777412"],
Cell[14927, 422, 410, 10, 46, "Input",ExpressionUUID->"570fb07a-de81-44f3-b1f2-76741a5d988d",
 InitializationCell->True],
Cell[15340, 434, 1079, 26, 89, "Input",ExpressionUUID->"9cf38e99-12d7-4bc7-a644-53668a4808c3",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[16444, 464, 566, 12, 46, "Input",ExpressionUUID->"48c0d675-c4c5-4295-be65-75c772cc00f2",
 InitializationCell->True],
Cell[17013, 478, 2780, 84, 119, "Output",ExpressionUUID->"80b84787-2cff-48a5-aa53-4b851d9895a8"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[19842, 568, 211, 4, 45, "Subsubsection",ExpressionUUID->"166f82e1-1aa1-4896-baaa-0572f47f9bd1"],
Cell[20056, 574, 967, 23, 89, "Input",ExpressionUUID->"5b8e73a5-b14a-4b18-ab72-30a99e59d290",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[21048, 601, 622, 13, 46, "Input",ExpressionUUID->"ca3c2c3a-34e6-44d7-a474-09498210a0d4",
 InitializationCell->True],
Cell[21673, 616, 1077, 31, 56, "Output",ExpressionUUID->"d516b991-ad10-4035-87e0-67b7e1a7cf1d"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[22799, 653, 209, 4, 45, "Subsubsection",ExpressionUUID->"f38ac25c-f3bd-47a3-8670-76f7b524b5a2"],
Cell[23011, 659, 1826, 47, 89, "Input",ExpressionUUID->"381238d6-0b69-4c88-9589-b6b7583e493c",
 InitializationCell->True],
Cell[24840, 708, 284, 7, 46, "Input",ExpressionUUID->"817df641-4564-4ed8-89c9-02a6a439d6c7",
 InitializationCell->True]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[25173, 721, 226, 4, 53, "Section",ExpressionUUID->"cd3132d3-b55d-407a-b974-00066c6476c0"],
Cell[CellGroupData[{
Cell[25424, 729, 170, 3, 54, "Subsection",ExpressionUUID->"9bd7c9d3-80b7-44fb-9294-eac18dd4bdcc"],
Cell[25597, 734, 308, 6, 51, "Text",ExpressionUUID->"3b995c19-1e2d-40c5-8b62-0e32ac2510e6"],
Cell[CellGroupData[{
Cell[25930, 744, 366, 8, 52, "Input",ExpressionUUID->"36d14681-5763-4a18-a099-dea8331adaed"],
Cell[26299, 754, 221, 3, 34, "Output",ExpressionUUID->"568b179a-2a6d-4ce8-928f-c1202b44e976"]
}, Open  ]],
Cell[CellGroupData[{
Cell[26557, 762, 1059, 29, 205, "Input",ExpressionUUID->"6c4267d2-23f0-4800-a9b1-a56daef7ec7d"],
Cell[27619, 793, 206, 4, 34, "Output",ExpressionUUID->"a95cd107-3712-44c5-82de-04d84ae5b432"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27862, 802, 1125, 30, 115, "Input",ExpressionUUID->"d7b05d27-9bd7-44ae-b8b8-991656504c65"],
Cell[28990, 834, 210, 4, 34, "Output",ExpressionUUID->"f95bb2e5-5393-4e09-a4c2-fe165a342da3"]
}, Open  ]],
Cell[CellGroupData[{
Cell[29237, 843, 182, 3, 45, "Subsubsection",ExpressionUUID->"1c661698-6334-42e0-91d8-b43bc5648d86"],
Cell[29422, 848, 472, 13, 66, "Input",ExpressionUUID->"682f3492-e2bf-413b-8ab4-fa726022db48",
 InitializationCell->True],
Cell[29897, 863, 469, 13, 66, "Input",ExpressionUUID->"021dde1b-f162-452d-956c-69b7922f9e22",
 InitializationCell->True],
Cell[30369, 878, 419, 12, 66, "Input",ExpressionUUID->"1e02cf24-4d8f-42a0-bb30-174370a26d66",
 InitializationCell->True],
Cell[30791, 892, 537, 14, 66, "Input",ExpressionUUID->"c2d412d6-f001-41cd-ab90-c35244351c64",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[31353, 910, 892, 21, 79, "Input",ExpressionUUID->"ad5c7d9a-e3de-4765-9e33-af06dc32c21b"],
Cell[32248, 933, 246, 3, 57, "Output",ExpressionUUID->"6145c1cc-1c29-49b7-a8d6-16c003959edf"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32531, 941, 1346, 34, 94, "Input",ExpressionUUID->"938109ff-a31a-4a54-abb2-c4b060620a83"],
Cell[33880, 977, 626, 10, 34, "Output",ExpressionUUID->"73e95f25-a7d3-4b9d-bee6-9336202eb7d5"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[34555, 993, 484, 11, 44, "Subsubsection",ExpressionUUID->"e41be80b-0cc7-4e00-b872-20c0d25c1b08"],
Cell[CellGroupData[{
Cell[35064, 1008, 905, 23, 100, "Input",ExpressionUUID->"d2258b17-5599-4239-bb09-01e527321879"],
Cell[35972, 1033, 329, 6, 34, "Output",ExpressionUUID->"4bb19c49-f5a2-4e2f-92a0-64168d51339c"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[36350, 1045, 511, 12, 44, "Subsubsection",ExpressionUUID->"e4c38759-8e8f-456a-ae78-4e1cc058278b"],
Cell[36864, 1059, 346, 8, 74, "Text",ExpressionUUID->"e6537ca3-81f5-4cf1-828f-6f2da071f538"],
Cell[CellGroupData[{
Cell[37235, 1071, 878, 20, 100, "Input",ExpressionUUID->"9067758f-96a2-4e7d-a691-de3c552d137d"],
Cell[38116, 1093, 4307, 113, 157, "Output",ExpressionUUID->"1384903c-4e10-4258-8594-768e1d27c37e"]
}, Open  ]],
Cell[CellGroupData[{
Cell[42460, 1211, 608, 15, 100, "Input",ExpressionUUID->"486c629b-5560-4d17-a7f4-88cd16956cd2"],
Cell[43071, 1228, 2091, 61, 93, "Output",ExpressionUUID->"8dc5602a-b7ad-43be-9c0a-de887cb62f44"]
}, Open  ]],
Cell[CellGroupData[{
Cell[45199, 1294, 1027, 24, 100, "Input",ExpressionUUID->"95f176d3-f5e8-4712-b29b-a9da9312493b"],
Cell[46229, 1320, 4617, 121, 157, "Output",ExpressionUUID->"38c42b19-b4ac-4e0f-8e00-9761a0943002"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[50895, 1447, 550, 12, 44, "Subsubsection",ExpressionUUID->"69011f50-f63f-4976-beb3-324ee2391049"],
Cell[CellGroupData[{
Cell[51470, 1463, 974, 20, 100, "Input",ExpressionUUID->"b3915bb9-8d2d-4ff6-8c7d-bf3a103bc9ac"],
Cell[52447, 1485, 6006, 154, 261, "Output",ExpressionUUID->"1c69ba56-9832-468d-a422-eff6e58cc0a5"]
}, Open  ]]
}, Closed]]
}, Closed]],
Cell[CellGroupData[{
Cell[58514, 1646, 181, 3, 38, "Subsection",ExpressionUUID->"35b0da0d-90e6-49e9-a3b9-64ec77237938"],
Cell[58698, 1651, 210, 3, 51, "Text",ExpressionUUID->"23bd4bf3-4b0d-44ae-80a6-137b5ac99d5c"],
Cell[58911, 1656, 197, 3, 35, "Text",ExpressionUUID->"ed1b3728-f08b-4318-bb4c-c4455392f7a2"],
Cell[CellGroupData[{
Cell[59133, 1663, 749, 17, 79, "Input",ExpressionUUID->"0d1a902b-7945-4ec6-b618-742d496f9c96"],
Cell[59885, 1682, 349, 6, 34, "Output",ExpressionUUID->"3983d11f-23ad-4919-9820-e7a82ee5fc67"]
}, Open  ]],
Cell[60249, 1691, 397, 8, 74, "Text",ExpressionUUID->"0c7573ea-246c-488a-a3eb-37b161a037cd"],
Cell[60649, 1701, 786, 16, 68, "Input",ExpressionUUID->"ddf0f302-1403-4727-a749-4451df318c00",
 InitializationCell->True],
Cell[61438, 1719, 716, 15, 68, "Input",ExpressionUUID->"51924844-a8b0-4185-9c9f-f1eca6d64120",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[62179, 1738, 914, 22, 107, "Input",ExpressionUUID->"8cb7886f-8eb6-4a38-92b2-19d5c31d6698"],
Cell[63096, 1762, 245, 3, 34, "Output",ExpressionUUID->"50debf8f-b95e-4788-9544-847825ae6c6e"]
}, Open  ]],
Cell[63356, 1768, 292, 6, 51, "Text",ExpressionUUID->"71fee240-f60c-4b88-a86e-e9cf335a5380"],
Cell[CellGroupData[{
Cell[63673, 1778, 1223, 25, 107, "Input",ExpressionUUID->"c2e81fb3-2265-406a-ab6e-58bbfb9da994"],
Cell[64899, 1805, 592, 8, 34, "Output",ExpressionUUID->"555ae032-3bfa-42b2-a4b4-d89c9e681c6b"]
}, Open  ]],
Cell[CellGroupData[{
Cell[65528, 1818, 1147, 22, 107, "Input",ExpressionUUID->"893e7c56-92e2-4ed2-a8d1-81d7c9e2b4ae"],
Cell[66678, 1842, 513, 8, 34, "Output",ExpressionUUID->"5c3023ab-d6b7-408d-ab64-fb612a5f8e9a"]
}, Open  ]],
Cell[67206, 1853, 312, 6, 74, "Text",ExpressionUUID->"e386029b-bdf6-4987-a291-6f41a8d5a176"],
Cell[CellGroupData[{
Cell[67543, 1863, 625, 15, 100, "Input",ExpressionUUID->"df3ee43d-33b4-40cc-addc-0533425a5daf"],
Cell[68171, 1880, 176, 2, 34, "Output",ExpressionUUID->"c660dd13-1f69-4113-9552-d319429c2eb1"]
}, Open  ]],
Cell[68362, 1885, 401, 8, 74, "Text",ExpressionUUID->"96f5661b-6d08-4c3c-9b94-6d11d2be4140"],
Cell[CellGroupData[{
Cell[68788, 1897, 578, 13, 108, "Input",ExpressionUUID->"07993e68-564f-491c-bfd7-9104a4325123"],
Cell[69369, 1912, 278, 4, 34, "Output",ExpressionUUID->"2d15f4d4-4a04-4ccc-8360-cfb0ce85ddd8"]
}, Open  ]],
Cell[69662, 1919, 916, 22, 61, "Text",ExpressionUUID->"6ba88f2a-0efd-423d-96e2-d36b6988820d"],
Cell[70581, 1943, 477, 12, 46, "Input",ExpressionUUID->"5a90b760-65d4-4e0b-820b-8d1dda998a9e",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[71083, 1959, 876, 21, 101, "Input",ExpressionUUID->"f1706aff-80ca-4b1c-a5d0-aa572326faa3"],
Cell[71962, 1982, 3179, 84, 113, "Output",ExpressionUUID->"ea3ecec4-35a3-4680-bf88-9177345cc0c0"]
}, Open  ]],
Cell[75156, 2069, 257, 5, 51, "Text",ExpressionUUID->"7812f819-e900-4323-b433-d5feeb3f5ea7"],
Cell[75416, 2076, 532, 13, 46, "Input",ExpressionUUID->"9b4fecc3-60b5-45b9-9018-5609b92287a0",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[75973, 2093, 714, 17, 100, "Input",ExpressionUUID->"b981f9a0-3280-4a65-94e6-7dd7d17595ce"],
Cell[76690, 2112, 2564, 71, 113, "Output",ExpressionUUID->"76a92684-85ec-4881-9e7c-07a660773610"]
}, Open  ]]
}, Closed]]
}, Open  ]]
}, Open  ]]
}
]
*)

